2081. The development of mathematical logic
پدیدآورنده : / by P. H. Nidditch
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Mathematics - Philosoph,Logic, symbolic and mathematical
رده :
511
.
3
Ni-D
2082. The development of mathematical logic
پدیدآورنده : P. H. Nidditch
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2083. The elements of mathematical logic
پدیدآورنده : Rosenbloom, Paul C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R55
2084. The elements of mathematical logic
پدیدآورنده : Rosenbloom, Paul C
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R55
2085. The elements of mathematical semantics /
پدیدآورنده : by Maurice V. Aldridge
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categorial grammar,Language and logic,Mathematical linguistics,Pragmatics,Semantics-- Mathematical models
رده :
P325
.
5
.
M36
A43
1992
2086. The equations
پدیدآورنده : / Sander Bais
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Equations, Theory of,Logic, Symbolic and mathematical
رده :
QA211
.
B16
2005
2087. The equations :
پدیدآورنده : / Sander Bais
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Equations, Theory of,Logic, Symbolic and mathematical
رده :
E-BOOK
2088. The equations : icons of knowledge
پدیدآورنده : Bais, Sander
کتابخانه: (طهران)
موضوع : ، Equations, Theory of,، Logic, Symbolic and mathematical
رده :
QA
211
.
B16
2005
2089. The essence of logic
پدیدآورنده : Kelly, John Joseph
کتابخانه: (طهران)
موضوع : Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
K396
1996
2090. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
2091. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
2092. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
2093. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
2094. The essential Turing
پدیدآورنده : / edited by B. Jack Copeland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
رده :
QA7
.
T772
2004
2095. The evolution of Principia mathematica :
پدیدآورنده : Bernard Linsky
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principles of mathematics,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
R883
L56
2011
2096. The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition
پدیدآورنده : Linsky, Bernard
کتابخانه: (طهران)
موضوع : ، Russell, Bertrand, 2781-0791. Principles of mathematics,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R883L56
2097. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S755
1977
2098. The foundations of mathematics
پدیدآورنده : Stewart, Ian.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and Mathematical
رده :
QA
9
.
S755
2099. The foundations of mathematics /
پدیدآورنده : Ian Stewart and David Tall
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
S755
2015
2100. The foundations of mathematics and other logical essays
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
R23
